Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)

Publisher:
Canada National Standard/Canadian Standards - ISO/IEC TR

Document status:

Active

Format:

Electronic (PDF)

Delivery time:

10 minutes

Delivery time (for Russian version):

200 business days

SKU:

1 Scope

This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.

Edition :	1st
File Size :	1 file , 2.4 MB
ISBN(s) :	1554364027
Number of Pages :	96
Product Code(s) :	2418441, 2418441
Published :	12/01/2006

CAN/CSA-ISO/IEC TR 24718-06 (R2021) PDF

Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Adopted ISO/IEC TR 24718:2005, first edition, 2005-02-15)

History

Related products

Best-Selling Products